Reliable Contracts for Unreliable Half-Duplex Communications
نویسندگان
چکیده
Recent trends in formal models of web services description languages and session types focus on the asynchronicity of communications. In this paper, we study a core of these models that arose from our modelling of the Sing# programming language, and demonstrate correspondences between Sing# contracts, asynchronous session behaviors, and the subclass of communicating automata with two participants that satisfy the half-duplex property. This correspondence better explains the criteria proposed by Stengel and Bultan for Sing# contracts to be reliable, and possibly indicate useful criteria for the design of WSDL. We moreover establish a polynomial-time complexity for the analysis of communication contracts under arbitrary models of asynchronicity, and we investigate the model-checking problems against LTL formulas.
منابع مشابه
Ultra-Reliable Short-Packet Communications: Half-Duplex or Full-Duplex Relaying?
This letter analyzes and compares the performance of full-duplex relaying (FDR) and half-duplex relaying (HDR) for ultra-reliable short-packet communications. Specifically, we derive both approximate and asymptotic closed-form expressions of the block error rate (BLER) for FDR and HDR using short packets with finite blocklength codes. We define and attain a closed-form expression of a critical ...
متن کاملOn Joint Sub-channel Allocation, Duplexing Mode Selection, and Power Control in Full-Duplex Co-Channel Femtocell Networks
As one of the promising approaches to increase the network capacity, Full-duplex (FD) communications have recently gained a remarkable attention. FD communication enables wireless nodes to simultaneously send and receive data through the same frequency band. Thanks to the recent achievements in the self-interference (SI) cancellation, this type of communication is expected to be potentially uti...
متن کاملProviding End-to-End Delay Guarantees for Multi-hop Wireless Sensor Networks over Unreliable Channels
Wireless sensor networks have been increasingly used for real-time surveillance over large areas. In such applications, it is important to support end-toend delay constraints for packet deliveries even when the corresponding flows require multi-hop transmissions. In addition to delay constraints, each flow of real-time surveillance may require some guarantees on throughput of packets that meet ...
متن کاملBounds on the capacity regions of half-duplex Gaussian MIMO relay channels
This article considers uniand bidirectional communication in the half-duplex Gaussian multiple-input multiple-output (MIMO) relay channel. Assuming perfect channel state information at all nodes and the use of time division duplex communications protocol to separate transmissions and receptions at all nodes, we propose a dual decomposition approach to efficiently determine upper and lower bound...
متن کاملIn-Band $\alpha$-Duplex Scheme for Cellular Networks: A Stochastic Geometry Approach
In-band full-duplex (FD) communications have been optimistically promoted to improve the spectrum utilization and efficiency. However, the penetration of FD communications to the cellular networks domain is challenging due to the imposed uplink/downlink interference. This paper presents a tractable framework, based on stochastic geometry, to study FD communications in cellular networks. Particu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011